The countable existentially closed pseudocomplemented semilattice
نویسنده
چکیده
منابع مشابه
Existentially closed CSA-groups
We study existentially closed CSA-groups. We prove that existentially closed CSA-groups without involutions are simple and divisible, and that their maximal abelian subgroups are conjugate. We also prove that every countable CSA-group without involutions embeds into a finitely generated one having the same maximal abelian subgroups, except maybe the infinite cyclic ones. We deduce from this tha...
متن کاملLattices of regular closed subsets of closure spaces
For a closure space (P,φ) with φ(∅) = ∅, the closures of open subsets of P , called the regular closed subsets, form an ortholattice Reg(P,φ), extending the poset Clop(P,φ) of all clopen subsets. If (P,φ) is a finite convex geometry, then Reg(P, φ) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, ...
متن کاملQuasi-implication Algebras
A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having noninvolutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutu...
متن کاملExistentially Closed Dimension Groups
A partially ordered Abelian group M is algebraically (existentially) closed in a class C M of such structures just in case any finite system of weak inequalities (and negations of weak inequalities), defined over M, is solvable in M if solvable in some N ⊇ M in C. After characterizing existentially closed dimension groups this paper derives amalgamation properties for dimension groups, dimensio...
متن کاملWeak Relative Pseudocomplementation on Semilattices
1. Introduction. A meet semilattice is said to be weakly relatively pseudocomplemented, or just wr-pseudocomplemented, if, for every element x and every y ≤ x, all the maxima
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 56 شماره
صفحات -
تاریخ انتشار 2017